$\vdash$  $\forall$$m$,$n$:$\mathbb{Z}$. \{$m$..$n$$^{-}$\} $\in$ Type